Définition pour : Graham J.
Pour plus de détails, voir les paragraphes 30.4 et 35.7 du Vernimmen 2021.